Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
211	Enhancing Terminological Knowledge With Upper Level Ontologies Selja Seppälä and Amanda Hicks TIA 2015 Add to Reading List Source URL: seljaseppala.files.wordpress.com Language: English - Date: 2015-12-26 19:53:36 Ontology Knowledge representation Information science Semantic Web Information Computing Technical communication Formal ontology Descriptive Ontology for Linguistic and Cognitive Engineering WordNet Web Ontology Language Upper ontology
212	KEMM: A Knowledge Engineering Methodology in the Medical Domain THESEUS-MEDICO Pinar Wennerberg1, Sonja Zillner1, Manuel Möller2, Paul Buitelaar3, Michael Sintek2 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-07 04:04:46 Ontology Knowledge engineering Semantic Web Information science Technical communication Computing Knowledge Formal ontology Web Ontology Language Draft:Outline of ontologies
213	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-03 07:39:24 Data mining Formal sciences Web mining World Wide Web Computing Database Secure multi-party computation Communications protocol Information science Information technology Theoretical computer science
214	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
215	On the Syntax and Semantics of Effect Axioms Haythem O. Ismail Department of Computer Science German University in Cairo e-mail: Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-09 04:22:06 Logic Mathematical logic Formal systems Abstraction Axiom Logic programming Mereology
216	Preprint – Forthcoming in Philosophy and Phenomenological Research What is (Dis)Agreement? Darrell P. Rowbottom Add to Reading List Source URL: www.ln.edu.hk Language: English - Date: 2016-05-04 05:05:53 Philosophy Probability Epistemology Philosophy of science Statistical inference Probability theory Formal epistemology Probability interpretations Belief Dutch book Bayesian probability Causality
217	Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK . Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:54:07 Formal methods Software engineering Loop invariant Theoretical computer science Invariant
218	Parse Trees • If w ∈ L(G), for some CFG, then w has a parse tree, which tells us the (syntactic) structure of w • w could be a program, a SQL-query, an XMLdocument, etc. • Parse trees are an alternative represent Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:32:46 Formal languages Language Cognitive science Mathematics Parse tree Parsing Formal grammar Equivalence Context-free language LR parser Context-free grammar
219	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
220	Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-10-17 04:53:23 Process calculi Theoretical computer science Formal methods Metaphor Simulation PEPA Jane Hillston Scientific modelling Stochastic Process calculus Economic model Semantics

UPDATE